Elementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all students have to learn: propositional logic. It aims to provide a crystal-clear introduction to what is often regarded as the most technically difficult area in philosophy. The book opens with an explanation of what logic is and how it is constructed. Subsequent chapters take the reader (...) step-by-step through all aspects of elementary logic. Throughout, ideas are explained simply and directly, with the chapters packed with overviews, illustrative examples, and summaries. Each chapter builds on previous explanation and example, with the final chapters presenting more advanced methods. After a discussion of meta-logic and logical systems, the book closes with an exploration of how paradoxes can exist in the world of logic. Elementary Logic's clarity and engagement make it ideal for any reader studying logic for the first time. (shrink)

In this paper I advance an account of the necessity of logic in Wittgenstein’s Tractatus. I reject both the “metaphysical” reading of Peter Hacker, who takes Tractarian logical necessity to consist in the mode of truth of tautologies, and the “resolute” account of Cora Diamond, who argues that all Tractarian talk of necessity is to be thrown away. I urge an alternative conception based on remarks 3.342 and 6.124. Necessity consists in what is not arbitrary, and contingency in (...) what is up to our arbitrary choice, in the symbols we use, in how we picture or model the world. Necessity is not a mode of truth of propositions, but lies in the requirements of their intelligibility. I argue that this conception is implicit in certain “resolute” readings and in some of their critics. Both sides of the dispute are committed to certain logical features of language or thought, patterns of symbolizing constitutive of intelligibility that are not up to us to institute or alter. This conception of non-arbitrary patterns of symbolizing, I argue, is what logical syntax in the Tractatus consists in. I also argue that the well-known Tractarian view of propositions as truth-functions of elementary propositions can be understood in terms of patterns of norms governing our making sense with the affirmation and denial of propositions. (shrink)

We show that the theory, consisting of the usual axioms of but with the power set axiom removed—specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every set can be well‐ordered—is weaker than commonly supposed and is inadequate to establish several basic facts often desired in its context. For example, there are models of in which ω1 is singular, in which every set of reals is countable, yet ω1 exists, in which there are sets of (...) reals of every size, but none of size, and therefore, in which the collection axiom fails; there are models of for which the Łoś theorem fails, even when the ultrapower is well‐founded and the measure exists inside the model; there are models of for which the Gaifman theorem fails, in that there is an embedding of models that is Σ1‐elementary and cofinal, but not elementary; there are elementary embeddings of models whose cofinal restriction is not elementary. Moreover, the collection of formulas that are provably equivalent in to a Σ1‐formula or a Π1‐formula is not closed under bounded quantification. Nevertheless, these deficits of are completely repaired by strengthening it to the theory, obtained by using collection rather than replacement in the axiomatization above. These results extend prior work of Zarach. (shrink)

Are there truly fundamental entities in nature? Or are the things that we regard as fundamental in our theories – for example space, time or the masses of elementary particles – merely awaiting a derivation from a new, yet to be discovered theory based on elements that are more fundamental? This was the central question posed in the 2018 FQXi essay competition, which drew more than 200 entries from professional physicists, philosophers, and other scholars. This volume presents enhanced versions (...) of the fifteen award-winning essays, giving a spectrum of views and insights on this fascinating topic. From a prescription for “when to stop digging” to the case for strong emergence, the reader will find here a plethora of stimulating and challenging ideas - presented in a largely non-technical manner - on which to sharpen their understanding of the language of physics and even the nature of reality. (shrink)

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical (...) form of the sentences involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie (...) Plumwood's feminist argument for a relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying (...) with the Gentzenian structural rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. (shrink)

This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is (...) a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics. (shrink)

Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted (...) in the best of our natural deductive reasoning in daily life. The book includes plenty of exercise to put the students' reading to test, summay boxes of key points, a glossary and many illustrations. This book will be useful to any student who needs a patient and comprehensible introduction to what otherwise can be a daunting subject. (shrink)

Schrödinger discusses what an elementary particle is. This essay originally appeared in the journal Endeavour.

The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion (...) by allowing one to take both assertions and denials on a par. This novel notion of theory is based on a bilateralist approach to consequence operators, which we hereby introduce, and whose main properties we investigate in the present paper. (shrink)

Discussions of the issue of iterated belief revision are commonly accompanied by the presentation of three “concrete” operators: natural, restrained and lexicographic. This raises a natural question: What is so distinctive about these three particular methods? Indeed, the common axiomatic ground for work on iterated revision, the AGM and Darwiche-Pearl postulates, leaves open a whole range of alternative proposals. In this paper, we show that it is satisfaction of an additional principle of “Independence of Irrelevant Alternatives”, inspired by the (...) literature on Social Choice, that unites and sets apart our three “elementary” revision operators. A parallel treatment of iterated belief contraction is also given, yielding a family of elementary contraction operators that includes, besides the well-known “conservative” and “moderate” operators, a new contraction operator that is related to restrained revision. (shrink)

John Crossley settled in Australia in 1968 having been a graduate student and later University Lecturer at Oxford. This is a brief account of his logical career. It is a revised version of a webcast talk for World Logic Day on 14 January 2022.

What is “the relation of logic to philosophy?” Is “the traditional bond between logic and philosophy severed?” That the field of logic has evolved away from philosophy proper is supported by the apparent fact that most logic research today is carried out by members of university departments other than philosophy with the main logical concern of philosophy departments being elementary logic instruction. So, it appears to many observers that logic used to be (...) a part of philosophy, but that at the leading edge of its research and study it is no longer a basic or pure component of the field of philosophy. Although I myself do not believe this assessment, I will presume for the sake of discussion that it is widely believed. Against this supposed separation of logic from philosophy, I will show how to re-establish the connection. (shrink)

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a (...) natural kind does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

This paper is about teaching elementary logic to blind or visually impaired students. The targeted audience are teachers who all of sudden have a blind or visually impaired student in their introduction to logic class, find limited help from disability centers in their institution, and have no idea what to do. We provide simple techniques that allow direct communication between a teacher and a visually impaired student. We show how the use of what is known (...) as Polish notation simplifies communication, and pedagogically is a great notation for a Braille reader. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this (...) century. The most striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

What is “the relation of logic to philosophy?” Is “the traditional bond between logic and philosophy severed?” That the field of logic has evolved away from philosophy proper is supported by the apparent fact that most logic research today is carried out by members of university departments other than philosophy with the main logical concern of philosophy departments being elementary logic instruction. So, it appears to many observers that logic used to be (...) a part of philosophy, but that at the leading edge of its research and study it is no longer a basic or pure component of the field of philosophy. Although I myself do not believe this assessment, I will presume for the sake of discussion that it is widely believed. Against this supposed separation of logic from philosophy, I will show how to re-establish the connection. (shrink)

In contemporary philosophy, there is a growing interest in how Søren Kierkegaard’s metaphilosophy and philosophical methodology may have influenced Ludwig Wittgenstein. This paper contributes to this discussion by arguing that each shares and critiques a particular conception of logic that I term “worldly logic.” Roughly, “worldly logic” contends logic and metaphysics are intimately interconnected. It further argues that reading Kierkegaard’s brief thoughts on logic, in the Climacus texts, through the lens of the later Wittgenstein, helps (...) to clarify the nature of Kierkegaard’s critique. Finally, it argues that their shared abhorrence of a particular sort of philosophy of logic is principled and apt. (shrink)

We suggest two precise abstract definitions of the notion of ‘relevance logic’ which are both independent of any proof system or semantics. We show that according to the simpler one, R → source is the minimal relevance logic, but R itself is not. In contrast, R and many other logics are relevance logics according to the second definition, while all fragments of linear logic are not.

We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be (...) recovered by their abstract properties and are preserved and reflected by translations under suitable conditions. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the (...) function and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations , using the applicative formalism, functional types of categorial grammars and combinatory logic . In the enunciative theory and following , an utterance can be decomposed into two components: a modus (...) and a dictum . In GRACE, the modus is a complex operator applied to a proposition and is generated from more elementary operators of the categories of tense, aspect, and modality. The dictum is a proposition generated by a predicative relation. In this way, we can attribute a semantic meaning to different grammatical aspecto-temporal operators. The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)

The nature of quantum mechanical probability has often seemed mysterious. To shed some light on this topic, the present paper analyzes the logical form of probability assignment in quantum mechanics. To begin the paper, I set out and criticize several attempts to analyze the form. I go on to propose a new form which utilizes a novel, probabilistic conditional and argue that this proposal is, overall, the best rendering of the quantum mechanical probability assignments. Finally, quantum mechanics aside, the discussion (...) here has consequences for counterfactual logic, conditional probability, and epistemic probability. (shrink)

This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.

I develop a critique of Hume’s infamous problem of induction based upon the idea that the principle of induction (PI) is a normative rather than descriptive claim. I argue that Hume’s problem is a false dilemma, since the PI might be neither a “relation of ideas” nor a “matter of fact” but rather what I call a contingent normative statement. In this case, the PI could be justified by a means-ends argument in which the link between means and end (...) is established solely by deductive reasoning. The means-ends argument is an elementary result from formal learning theory that you must be willing to make inductive generalizations if you want to be logically reliable in the types of examples Hume described. This justification of the PI avoids both horns of Hume’s dilemma. Since no contradiction ensues from rejecting logical reliability as an aim, the PI is contingent. Yet since the proof concerning the PI and logical reliability is not based on inductive reasoning, there is no threat of circularity. (shrink)

This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.

Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.

In this paper, I explore whether elementary classical mechanics adheres to the Principle of Composition of Causes as Mill claimed and as certain contemporary authors still seem to believe. Among other things, I provide a proof that if one reads Mill’s description of the principle literally, it does not hold in any general sense. In addition, I explore a separate notion of Composition of Causes and note that it too does not hold in elementary classical mechanics. Among the (...) major morals is that there is no utility to describing classical mechanics in terms of Composition of Causes. This is both because the stated principles do not hold and because when one describes what actually does hold in classical mechanics in terms of the Composition of Causes, one introduces misleading associations that can generate errors just as claimed by Russell. (shrink)

“Formal logic”, an expression created by Kant to characterize Aristotelian logic, has also been used as a name for modern logic, originated by Boole and Frege, which in many aspects differs radically from traditional logic. We shed light on this paradox by distinguishing in this paper five different meanings of the expression “formal logic”: (1) Formal reasoning according to the Aristotelian dichotomy of form and content, (2) Formal logic as a formal science by opposition (...) to an empirical science, (3) Formal systems in the sense of Hilbert, Curry and the formalist school, (4) Symbolic logic, a science using symbols, such as Venn diagrams, (5) Mathematical logic, a mathematical approach to reasoning. We argue that these five meanings are independent and that the meaning (5) is the one which better characterized modern logic, which should therefore not be called “formal logic”. (shrink)

It is often held that Wittgenstein had to introduce numbers in elementary propositions due to problems related to the so-called colour-exclusion problem. I argue in this paper that he had other reasons for introducing them, reasons that arise from an investigation of the continuity of visual space and what Wittgenstein refers to as ‘intensional infinity’. In addition, I argue that the introduction of numbers by this route was prior to introducing them _via_ the colour-exclusion problem. To conclude, I (...) discuss two problems that Wittgenstein faced in the writings before _Some Remarks on Logical Form _, problems that are independent of the colour-exclusion problem but dependent on the introduction of numbers in elementary propositions. (shrink)

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all (...) inductive formulae are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)